Supertypes: any
Every value that is not itself a type is an instance of the primitive type
nontype
. The subtypes of nontype
are therefore those types whose instances are not themselves types. Except for ⊤, any, and type, every primitive type is a subtype of nontype
. It is a sibling of type, and every value is either an instance of nontype
or type.